Schürmann, Carsten: search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

The world's largest scientific articles store. 70,000,000+ articles for free.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

1

[Lecture Notes in Computer Science] Electronic Voting Volume 10615 || Verifiability Experiences in Government Online Voting Systems

Krimmer, Robert, Volkamer, Melanie, Braun Binder, Nadja, Kersting, Norbert, Pereira, Olivier, Schürmann, Carsten

Year:

2017

Language:

english

File:

PDF, 1.18 MB

english, 2017

2

Flexible and stretchable fabric-based tactile sensor

Büscher, Gereon H., Kõiva, Risto, Schürmann, Carsten, Haschke, Robert, Ritter, Helge J.

Journal:

Robotics and Autonomous Systems

Year:

2015

Language:

english

File:

PDF, 3.64 MB

english, 2015

3

System Description: Delphin – A Functional Programming Language for Deductive Systems

Adam Poswolsky, Carsten Schürmann

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 204 KB

english, 2009

4

[IEEE 2009 First International Workshop on Requirements Engineering for e-Voting Systems (RE-VOTE) - Atlanta, GA, USA (2010.08.31-2010.08.31)] 2009 First International Workshop on Requirements Engineering for e-Voting Systems - Electronic Elections: Trust Through Engineering

Schürmann, Carsten

Year:

2009

Language:

english

File:

PDF, 385 KB

english, 2009

5

Ring Finger Protein 11 Inhibits Melanocortin 3 and 4 Receptor Signaling

Müller, Anne, Niederstadt, Lars, Jonas, Wenke, Yi, Chun-Xia, Meyer, Franziska, Wiedmer, Petra, Fischer, Jana, Grötzinger, Carsten, Schürmann, Annette, Tschöp, Matthias, Kleinau, Gunnar, Grüters, Annet

Journal:

Frontiers in Endocrinology

Year:

2016

Language:

english

File:

PDF, 2.35 MB

english, 2016

6

[{2,6-(Me2NCH2)2C6H3(H2O)Sn}W(CO)5]+CB11H12–: Aqua Complex of a Transition-Metal-Bound Organotin(II) Cation versus an Ammonium-Type Structure

Roman Jambor, Blanka Kašná, Stephan G. Koller, Carsten Strohmann, Markus Schürmann, Klaus Jurkschat

Journal:

European Journal of Inorganic Chemistry

Year:

2010

Language:

english

File:

PDF, 469 KB

english, 2010

7

Hepatitis B virus mutations associated with fulminant hepatitis induce apoptosis in primary Tupaia hepatocytes

Thomas F. Baumert, Chun Yang, Peter Schürmann, Josef Köck, Christian Ziegler, Carsten Grüllich, Michael Nassal, T. Jake Liang, Hubert E. Blum, Fritz von Weizsäcker

Journal:

Year:

2005

Language:

english

File:

PDF, 451 KB

english, 2005

8

A Meta Linear Logical Framework

Andrew McCreight, Carsten Schürmann

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 354 KB

english, 2008

9

Preface

Carsten Schürmann

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 91 KB

english, 2008

10

Preface

Brigitte Pientka, Carsten Schürmann

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 71 KB

english, 2008

11

Primitive recursion for higher-order abstract syntax

Carsten Schürmann, Joëlle Despeyroux, Frank Pfenning

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 331 KB

english, 2001

12

A Representation of Fω in LF

Carsten Schürmann, Dachuan Yu, Zhaozhong Ni

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 309 KB

english, 2001

13

Towards Proof Planning for M ω+

Carsten Schürmann, Serge Autexier

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 240 KB

english, 2002

14

Logical Semantics for the Rewriting Calculus

Aaron Stump, Carsten Schürmann

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 252 KB

english, 2005

15

Algorithms for Equality and Unification in the Presence of Notational Definitions

Frank Pfenning, Carsten Schürmann

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 751 KB

english, 1998

16

The impact of NOx, CO and VOC emissions on the air quality of Zurich airport

Gregor Schürmann, Klaus Schäfer, Carsten Jahn, Herbert Hoffmann, Martina Bauerfeind, Emanuel Fleuti, Bernhard Rappenglück

Journal:

Atmospheric Environment

Year:

2007

Language:

english

File:

PDF, 356 KB

english, 2007

17

Corrigendum to “The impact of NOx, CO and VOC emissions on the air quality of Zurich airport”: [Atmospheric Environment 41 (2007) 103–118]

Gregor Schürmann, Klaus Schäfer, Carsten Jahn, Herbert Hoffman, Martina Bauerfeind, Emanuel Fleuti, Bernhard Rappenglück

Journal:

Atmospheric Environment

Year:

2007

Language:

english

File:

PDF, 254 KB

english, 2007

18

Assessing spatial equity and efficiency impacts of transport infrastructure projects

Johannes Bröcker, Artem Korzhenevych, Carsten Schürmann

Journal:

Transportation Research Part B: Methodological

Year:

2010

Language:

english

File:

PDF, 645 KB

english, 2010

19

films and

Schürmann, Mark, Dreiner, Stefan, Berges, Ulf, Westphal, Carsten

Journal:

Physical Review B

Year:

2006

Language:

english

File:

PDF, 513 KB

english, 2006

20

Verifying voting schemes

Beckert, Bernhard, Goré, Rajeev, Schürmann, Carsten, Bormer, Thorsten, Wang, Jian

Journal:

Journal of Information Security and Applications

Year:

2014

Language:

english

File:

PDF, 1.37 MB

english, 2014

21

[IEEE 2008 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008) - Pittsburgh, PA, USA (2008.06.24-2008.06.27)] 2008 23rd Annual IEEE Symposium on Logic in Computer Science - Structural Logical Relations

Schürmann, Carsten, Sarnat, Jeffrey

Year:

2008

Language:

english

File:

PDF, 265 KB

english, 2008

22

[IEEE 2012 12th IEEE-RAS International Conference on Humanoid Robots (Humanoids 2012) - Osaka, Japan (2012.11.29-2012.12.1)] 2012 12th IEEE-RAS International Conference on Humanoid Robots (Humanoids 2012) - Tactile dataglove with fabric-based sensors

Buscher, Gereon, Koiva, Risto, Schurmann, Carsten, Haschke, Robert, Ritter, Helge J.

Year:

2012

Language:

english

File:

PDF, 3.33 MB

english, 2012

23

[IEEE 2011 IEEE World Haptics Conference (WHC 2011) - Istanbul (2011.06.21-2011.06.24)] 2011 IEEE World Haptics Conference - A modular high-speed tactile sensor for human manipulation research

Schurmann, Carsten, K~oiva, Risto, Haschke, Robert, Ritter, Helge

Year:

2011

Language:

english

File:

PDF, 1.64 MB

english, 2011

24

Microsimulation of Land Use

Moekel, Rolf, Spiekermann, Klaus, Schürmann, Carsten, Wegener, Michael

Journal:

International Journal of Urban Sciences

Year:

2003

Language:

english

File:

PDF, 2.24 MB

english, 2003

25

[IEEE 2012 12th IEEE-RAS International Conference on Humanoid Robots (Humanoids 2012) - Osaka, Japan (2012.11.29-2012.12.1)] 2012 12th IEEE-RAS International Conference on Humanoid Robots (Humanoids 2012) - Analysis of human grasping under task anticipation using a tactile book

Schurmann, Carsten, Koiva, Risto, Haschke, Robert, Ritter, Helge

Year:

2012

Language:

english

File:

PDF, 1.57 MB

english, 2012

26

[IEEE 2013 IEEE/ASME International Conference on Advanced Intelligent Mechatronics (AIM) - Wollongong, NSW (2013.07.9-2013.07.12)] 2013 IEEE/ASME International Conference on Advanced Intelligent Mechatronics - A highly sensitive 3D-shaped tactile sensor

Koiva, Risto, Zenker, Matthias, Schurmann, Carsten, Haschke, Robert, Ritter, Helge J.

Year:

2013

Language:

english

File:

PDF, 1.68 MB

english, 2013

27

SPIE Proceedings [SPIE Remote Sensing - Florence, Italy (Monday 17 September 2007)] Remote Sensing of Clouds and the Atmosphere XII - Budapest airport air quality long-term studies by remote sensing with DOAS and FTIR with focus upon runway emissions

Schäfer, Klaus, Schürmann, Gregor, Jahn, Carsten, Matuse, Candy, Hoffmann, Herbert, Takacs, Edina, Alföldy, Balint, Groma, Veronika, Kugler, Szilvia, Comerón, Adolfo, Schäfer, Klaus, Slusser, James R.

Year:

2007

Language:

english

File:

PDF, 355 KB

english, 2007

28

Modernizing the Danish democratic process

Schürmann, Carsten

Journal:

Communications of the ACM

Year:

2011

Language:

english

File:

PDF, 2.52 MB

english, 2011

29

[ACM Press the seventh international workshop - Copenhagen, Denmark (2012.09.09-2012.09.09)] Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice - LFMTP '12 - Trace matching in a concurrent logical framework

Cervesato, Iliano, Pfenning, Frank, Sacchini, Jorge Luis, Schürmann, Carsten, Simmons, Robert J.

Year:

2012

Language:

english

File:

PDF, 638 KB

english, 2012

30

[ACM Press the 2014 International Workshop - Vienna, Austria (2014.07.17-2014.07.17)] Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice - LFMTP '14 - Hybrid Extensions in a Logical Framework

Brock-Nannestad, Taus, Guenot, Nicolas, Murawska, Agata, Schürmann, Carsten

Year:

2014

Language:

english

File:

PDF, 319 KB

english, 2014

31

[ACM Press the Fourth International Workshop - Montreal, Quebec, Canada (2009.08.02-2009.08.02)] Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages Theory and Practice - LFMTP '09 - A practical module system for LF

Rabe, Florian, Schürmann, Carsten

Year:

2009

Language:

english

File:

PDF, 253 KB

english, 2009

32

[IEEE 2014 6th International Conference on Electronic Voting: Verifying the Vote (EVOTE) - Lochau / Bregenz, Austria (2014.10.29-2014.10.31)] 2014 6th International Conference on Electronic Voting: Verifying the Vote (EVOTE) - Trust in internet election observing the Norwegian decryption and counting ceremony

Markussen, Randi, Ronquillo, Lorena, Schürmann, Carsten

Year:

2014

Language:

english

File:

PDF, 765 KB

english, 2014

33

SPIE Proceedings [SPIE Remote Sensing - Bruges, Belgium (Monday 19 September 2005)] Remote Sensing of Clouds and the Atmosphere X - Detection of emission indices of aircraft exhaust compounds by open-path optical methods at airports

Schürmann, Gregor, Schäfer, Klaus, Comerón, Adolfo, Schäfer, Klaus, Jahn, Carsten, Slusser, James R., Picard, Richard H., Hoffmann, Herbert, Utzig, Selina, Carleer, Michel R., Sifakis, Nicolaos I.

Year:

2005

Language:

english

File:

PDF, 256 KB

english, 2005

34

Ultra-Sonication of ZIF-67 Crystals Results in ZIF-67 Nano-Flakes

Beyer, Sebastian, Prinz, Carsten, Schürmann, Robin, Feldmann, Ines, Zimathies, Annett, Blocki, Anna M., Bald, Ilko, Schneider, Rudolf J., Emmerling, Franziska

Journal:

ChemistrySelect

Year:

2016

Language:

english

File:

PDF, 1.20 MB

english, 2016

35

Multiparty session types as coherence proofs

Carbone, Marco, Montesi, Fabrizio, Schürmann, Carsten, Yoshida, Nobuko

Journal:

Acta Informatica

Year:

2017

Language:

english

File:

PDF, 953 KB

english, 2017

36

A PDE6δ-KRas Inhibitor Chemotype with up to Seven H-Bonds and Picomolar Affinity that Prevents Efficient Inhibitor Release by Arl2

Martín-Gago, Pablo, Fansa, Eyad K., Klein, Christian H., Murarka, Sandip, Janning, Petra, Schürmann, Marc, Metz , Malte, Ismail, Shehab, Schultz-Fademrecht, Carsten, Baumann, Matthias, Bastiaens, Phi

Journal:

Angewandte Chemie International Edition

Year:

2017

Language:

english

File:

PDF, 2.63 MB

english, 2017

37

A PDE6δ-KRas Inhibitor Chemotype with up to Seven H-Bonds and Picomolar Affinity that Prevents Efficient Inhibitor Release by Arl2

Martín-Gago, Pablo, Fansa, Eyad K., Klein, Christian H., Murarka, Sandip, Janning, Petra, Schürmann, Marc, Metz , Malte, Ismail, Shehab, Schultz-Fademrecht, Carsten, Baumann, Matthias, Bastiaens, Phi

Journal:

Angewandte Chemie

Year:

2017

Language:

english

File:

PDF, 2.55 MB

english, 2017

38

[IEEE 2016 Conference for E-Democracy and Open Government (CeDEM) - Krems, Austria (2016.5.18-2016.5.20)] 2016 Conference for E-Democracy and Open Government (CeDEM) - Measuring Voter Lines

Schurmann, Carsten, Wang, Jian

Year:

2016

Language:

english

File:

PDF, 446 KB

english, 2016

39

SPIE Proceedings [SPIE Remote Sensing - Stockholm, Sweden (Monday 11 September 2006)] Remote Sensing of Clouds and the Atmosphere XI - Airport air quality and emission studies by remote sensing and inverse dispersion modelling

Schürmann, Gregor, Slusser, James R., Schäfer, Klaus, Schäfer, Klaus, Jahn, Carsten, Comerón, Adolfo, Hoffmann, Herbert, Groma, Veronika, Török, Szabina, Emeis, Stefan

Year:

2006

Language:

english

File:

PDF, 363 KB

english, 2006

40

[Lecture Notes in Computer Science] Electronic Voting Volume 10615 || No More Excuses: Automated Synthesis of Practical and Verifiable Vote-Counting Programs for Complex Voting Schemes

Krimmer, Robert, Volkamer, Melanie, Braun Binder, Nadja, Kersting, Norbert, Pereira, Olivier, Schürmann, Carsten

Year:

2017

Language:

english

File:

PDF, 286 KB

english, 2017

41

[Lecture Notes in Computer Science] Electronic Voting Volume 10615 || Public Evidence from Secret Ballots

Krimmer, Robert, Volkamer, Melanie, Braun Binder, Nadja, Kersting, Norbert, Pereira, Olivier, Schürmann, Carsten

Year:

2017

Language:

english

File:

PDF, 650 KB

english, 2017

42

[Lecture Notes in Computer Science] Electronic Voting Volume 10615 || Cryptographic Security Analysis of E-voting Systems: Achievements, Misconceptions, and Limitations

Krimmer, Robert, Volkamer, Melanie, Braun Binder, Nadja, Kersting, Norbert, Pereira, Olivier, Schürmann, Carsten

Year:

2017

Language:

english

File:

PDF, 303 KB

english, 2017

43

[Lecture Notes in Computer Science] Electronic Voting Volume 10615 ||

Krimmer, Robert, Volkamer, Melanie, Braun Binder, Nadja, Kersting, Norbert, Pereira, Olivier, Schürmann, Carsten

Year:

2017

Language:

english

File:

PDF, 6.28 MB

english, 2017

44

[Lecture Notes in Computer Science] Electronic Voting Volume 10615 || Voting in E-Participation: A Set of Requirements to Support Accountability and Trust by Electoral Committees

Krimmer, Robert, Volkamer, Melanie, Braun Binder, Nadja, Kersting, Norbert, Pereira, Olivier, Schürmann, Carsten

Year:

2017

Language:

english

File:

PDF, 179 KB

english, 2017